翻訳と辞書 Words near each other ・ Pointe-Verte, New Brunswick ・ Pointe-à-Bouleau, New Brunswick ・ Pointe-à-Callière Museum ・ Pointe-à-la-Croix, Quebec ・ Pointe-à-Pierre ・ Pointe-à-Pierre Wild Fowl Trust ・ Pointe-à-Pitre ・ Pointe-à-Pitre 1st Canton ・ Pointe-à-Pitre 2nd Canton ・ Pointe-à-Pitre 3rd Canton ・ Pointe-à-Pitre International Airport ・ Pointe-à-Raquette ・ Pointed Accounts of People You Know ・ Pointed hat ・ Pointed Heels ・ Pointed set ・ Pointed shoe ・ Pointed space ・ Pointed Stick Cone ・ Pointed Sticks ・ Pointed-headed caecilian ・ Pointed-snout wrasse ・ Pointel ・ Pointer ・ Pointer (computer programming) ・ Pointer (dog breed) ・ Pointer (graphical user interfaces) ・ Pointer (journal) ・ Pointer (rod) ・ Pointer (wireless phone) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Pointed set ： ウィキペディア英語版 Pointed set In mathematics, a pointed set〔 (also based set〔 or rooted set〔) is an ordered pair $(X,\; x\_0)$ where $X$ is a set and $x\_0$ is an element of $X$ called the base point,〔 also spelled basepoint. Maps between pointed sets $(X,\; x\_0)$ and $(Y,\; y\_0)$ (called based maps,〔.〕 pointed maps,〔 or point-preserving maps〔) are functions from $X$ to $Y$ that map one basepoint to another, i.e. a map $f\; :\; X\; \backslash to\; Y$ such that $f(x\_0)\; =\; y\_0$. This is usually denoted : $f\; :\; (X,\; x\_0)\; \backslash to\; (Y,\; y\_0)$. Pointed sets may be regarded as a rather simple algebraic structure. In the sense of universal algebra, they are structures with a single nullary operation which picks out the basepoint. The class of all pointed sets together with the class of all based maps form a category. In this category the pointed singleton set $(\backslash ,\; a)$ is an initial object and a terminal object,〔Mac Lane (1998) p.26〕 i.e. a zero object.〔 There is a faithful functor from usual sets to pointed sets, but it is not full and these categories are not equivalent.〔J. Adamek, H. Herrlich, G. Stecker, (18th January 2005) (Abstract and Concrete Categories-The Joy of Cats )〕 In particular, the empty set is not a pointed set, for it has no element that can be chosen as base point. The category of pointed sets and based maps is equivalent to but not isomorphic with the category of sets and partial functions. One textbook notes that "This formal completion of sets and partial maps by adding “improper,” “infinite” elements was reinvented many times, in particular, in topology (one-point compactification) and in theoretical computer science." The category of pointed sets and pointed maps is isomorphic to the co-slice category $\backslash mathbf\; \backslash downarrow\; \backslash mathbf$, where $\backslash mathbf$ is a singleton set.〔 The category of pointed sets and pointed maps has both products and co-products, but it is not a distributive category.〔 Many algebraic structures are pointed sets in a rather trivial way. For example, groups are pointed sets by choosing the identity element as the basepoint, so that group homomorphisms are point-preserving maps. This observation can be restated in category theoretic terms as the existence of a forgetful functor from groups to pointed sets.〔 A pointed set may be seen as a pointed space under the discrete topology or as a vector space over the field with one element.〔. On p. 622, Haran writes "We consider $\backslash mathbb$-vector spaces as finite sets $X$ with a distinguished ‘zero’ element..."〕 As "rooted set" the notion naturally appears in the study of antimatroids and transportation polytopes. == See also == * Accessible pointed graph 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Pointed set」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.